|
In mathematics, Hilbert's fourteenth problem, that is, number 14 of Hilbert's problems proposed in 1900, asks whether certain algebras are finitely generated. The setting is as follows: Assume that ''k'' is a field and let ''K'' be a subfield of the field of rational functions in ''n'' variables, :''k''(''x''1, ..., ''x''''n'' ) over ''k''. Consider now the ''k''-algebra ''R'' defined as the intersection : Hilbert conjectured that all such algebras are finitely generated over ''k''. After some results were obtained confirming Hilbert's conjecture in special cases and for certain classes of rings (in particular the conjecture was proved unconditionally for ''n'' = 1 and ''n'' = 2 by Zariski in 1954) then in 1959 Masayoshi Nagata found a counterexample to Hilbert's conjecture. The counterexample of Nagata is a suitably constructed ring of invariants for the action of a linear algebraic group. == History == The problem originally arose in algebraic invariant theory. Here the ring ''R'' is given as a (suitably defined) ring of polynomial invariants of a linear algebraic group over a field ''k'' acting algebraically on a polynomial ring ''k''(..., ''x''''n'' ) (or more generally, on a finitely generated algebra defined over a field). In this situation the field ''K'' is the field of ''rational'' functions (quotients of polynomials) in the variables ''x''''i'' which are invariant under the given action of the algebraic group, the ring ''R'' is the ring of ''polynomials'' which are invariant under the action. A classical example in nineteenth century was the extensive study (in particular by Cayley, Sylvester, Clebsch, Paul Gordan and also Hilbert) of invariants of binary forms in two variables with the natural action of the special linear group ''SL''2(''k'') on it. Hilbert himself proved the finite generation of invariant rings in the case of the field of complex numbers for some classical semi-simple Lie groups (in particular the general linear group over the complex numbers) and specific linear actions on polynomial rings, i.e. actions coming from finite-dimensional representations of the Lie-group. This finiteness result was later extended by Hermann Weyl to the class of all semi-simple Lie-groups. A major ingredient in Hilbert's proof is the Hilbert basis theorem applied to the ideal inside the polynomial ring generated by the invariants. 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Hilbert's fourteenth problem」の詳細全文を読む スポンサード リンク
|